#include <stdio.h>
#include <stdlib.h>
#include <tf_mm_alloc.h>
#include <tf_xm.h>
#include <tf_common.h>
	

int main(int argc, char ** argv) {
	omp_set_num_threads(2);
#pragma omp parallel 
{
	printf("Setting memory : (%d)\n", omp_get_thread_num() );
	tf_mem_set_size(4096);
	printf("TF_init calling... (%d)\n", omp_get_thread_num() );
	tf_init();

	printf("Using TF_XM_START (%d)\n", omp_get_thread_num() );
	tf_xm_start(argc, argv);

	printf("Hello, from %d\n", dfrt_whoami());
	sleep(1);
	
}
	
}


